Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.
Уважаемый пользователь, сайт развивается и существует только на доходы от рекламы - пожалуйста, отключите
блокировщик рекламы.
Недавно искали
аксиоматический метод
Энциклопедический словарь
Аксиомати́ческий ме́тод - способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путём логической дедукции получать утверждения (теоремы) данной теории.
* * *
АКСИОМАТИЧЕСКИЙ МЕТОД - АКСИОМАТИ́ЧЕСКИЙ МЕ́ТОД, способ построения научной теории в виде системы аксиом (постулатов (см. ПОСТУЛАТ)) и правил вывода (аксиоматики), позволяющих путем логической дедукции (см. ДЕДУКЦИЯ) получать утверждения (теоремы) данной теории.
Большой энциклопедический словарь
АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.
Иллюстрированный энциклопедический словарь
АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные - леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились "Начала" Евклида (около 300 до нашей эры).
Лингвистические термины
Способ исследования, состоящий в том, что множество элементов или объектов разбивается на части (подмножества). Одна часть рассматривается как исходные положения - аксиомы (постулаты), принимаемые без доказательств. Остальные положения (теоремы) доказываются логическим путем. Указанный метод опирается на теорию множеств и теорию функций.